-- p. 60 #2
data MTree a = MTree (Maybe (MTree a)) a (Maybe (MTree a))
             deriving (Show)
